<div>
  Run "git remote prune" for each remote, to prune obsolete local branches.
</div>
